Nuprl Definition : THENM 13,42
REF, NoConds
(a THENM b) == ((a) THENM (b)) 
latex

clarification:

REF, NoConds
(a THENM b) == ((a) THENM (b)) 
latex

UpTactics as terms
FDL editor aliases-thm

origin